понятие вынуждения

См. также в других словарях:

• ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы …   Математическая энциклопедия

• МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

• Диалогичность речи письменной — – это выражение в тексте средствами языка взаимодействия общающихся, понимаемого как соотношение смысловых позиций, как учет реакций адресата (в том числе второго Я), а также эксплицирование в тексте признаков собственно диалога. При этом понятие …   Стилистический энциклопедический словарь русского языка

• БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… …   Математическая энциклопедия

• ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

• КРИПКЕ МОДЕЛИ — структуры, состоящие из нек рого множества обычных моделей для классической логики, упорядоченных между собой нек рым отношением, н служащие для интерпретации в них различных неклассических логик (интуипионистской, модальных и др.). Точнее, К. м …   Математическая энциклопедия

• Выкуп — в прямом смысле слова обратная купля проданного или вообще отчужденного имущества понятие, соответствующее немецкому Wiederkauf. Распространяя, однако, это понятие, юристы говорят о выкупе не только проданных, но и заложенных имуществ, когда… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• МОДЕЛЕЙ ТЕОРИЯ —     МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… …   Философская энциклопедия

• АЛГОРИТМИЧЕСКАЯ СВОДИМОСТЬ — одно из основных понятий алгоритмов теории и ее приложений Возникло в связи с тем, что неразрешимость (и разрешимость) многих алгоритмических проблем устанавливается большей частью не непосредственно, а путем сведения к исследуемой проблеме такой …   Математическая энциклопедия

• Тридцать шесть стратагем — (кит. трад. 三十六計, упр. 三十六计, пиньинь: sān shí liù jì)  древнекитайский военный трактат. В более широком смысле, собрание неявных стратегических приёмов и система непрямых тактических ходов, используемая для достижения скрытой цели, получения …   Википедия

• Коллекторское агентство — Коллекторское агентство, также известно как долговое агентство (от англ. сollection  сбор)  агентство, профессионально специализирующееся на взыскивании просроченной дебиторской задолженности и проблемной задолженности; форма… …   Википедия